temporary maintenance server

Assumes port 8000.

```
$ ./maint.py
```