Helloworld HTML file with PHP include