Restores the php 5.3 badge

For the debian-like distros, adds back the 5.3 badge in the vm selection page