Add note on developing in GWT super-dev mode