version 0.9 released

new portal, geoserver-fetchsize patch