PHP library to validate HTML using the W3C HTML Validator API, including a checkstyle formatter for CI