Updated mantle.launch to use gwt-dev 2.5.0 (was 2.4.0)