Docker based development IDE