Try out php 5.5 and hhvm in travis