Upgrade to php 5.4

@njam since we have upgraded to php 5.4 with wheezy, I guess we could (and should) do the same in dev now?