remove hhvm-nightly from travis
add test against php 5.3.3
add more badges