No serverpy

Fix #283 - remove server.py, fix code that relied on it, and remove execution.py also.