Simplifying configurable URLs
-----------------------------

- base_kernel_url configurable is removed
- websocket_url configurable is removed
- base_project_url is renamed to base_url (base_project_url is kept as a deprecates alias, for now)