Add a developer console thing that activates by pressing : and deactivates by pressing `