This file exists just to make git put the m4/ parent directory in the
repository, since git doesn't seem to like empty directories ...
