travis: workaround for missing PHP 5.3 in travis, added 5.5