Extract the CodeServer configuration into a separate module and html files.

The reason is that I don't want to deploy development configuration to production.