Rename push-and-pop to push-and-pop.pl