minor cleanup
Merge branch 'master' of github.com:JoergFiedler/dotfiles

* 'master' of github.com:JoergFiedler/dotfiles:
  new bash alias for git log (shows only the last 10 commits); coverage folder added to ignores
  gvm

Conflicts:
	home/.bash_profile
	home/.bashrc
add vagrant bash completion; activcate rbenv