Restores the php 5.3 badge

A while back, the php 5.3 badge was removed from the VM selection page, even though php 5.3 is still being used, and is the default for Debian Squeeze and Ubuntu Precise. 

This PR simply restores the php 5.3 badge for distributions that ship and work well with 5.3 (namely precise and squeeze).