A study of the variable stars in Messier 4 (prepared for publication by P. Th. Oosterhoff)