Adding new PHP versions on travis, cleaning old comments to a new document