Use a stamp for master.pike, so that we don't relink pike when just master.pike.in is changed. Rev: src/Makefile.in:1.264