updated gretty-plugin.html to the latest version of gretty 0.0.13