A search for pulsations in short gamma--ray bursts to constrain their progenitors