add alias to startup Python HTTP server
improvement for the coding of HTML source