Update the guide to reflect the changes to the PPA

Ondřej Surý has added support for ubuntu 13.10 and 14.04 in his PPA for PHP5