Use .html as file extension for HTML files generated by phpDox
Add Crap4JPublisher