.bashrc: add MAVEN_OPTS giving Maven more memory