Update packages.txt

Adding PHP5-dev binaries