Helper tools/scripts for GwtBootstrap3 developers