Add ability to select a specific dev server

In the current implementation you can just append `?dev=1` to the url to get access of the development server. Unfortunately, this doesn't allow to select a specific server.

I think the best is to extend the syntax to have `?dev=id` to select a specific development server.