.gitignore: maven-classpath.properties should not be here
rename history* files for tab competition convenience
* alias gmv='RunGit git mv'
Only git commit and git add need to do editing
* aliases: TODO linux: use pgrep | pkill