Added dexdis console to website

Added a console to the website based on [jquery-console](https://github.com/chrisdone/jquery-console/). It works, but it is not working very well on tablets and mobile phones. We should use this as a prototype and reimplement it with a proper form with a text input.