Release scripts, for publishing to maven.central. Fixes #17