Update known PHP versions

Travis-lint fails, because it does not know about PHP 5.5 yet.