change ppa for php5 to stay on php5.4 stable, smoothly handle transition for boxes with cutting edge php5 ppa already in use, fixes #24, closes #25