[dotfiles] Added alias for git log with nicer formatting
[provision] Arch packages

    - heroku-toolbelt not really needed, install on demand,
      not as base installation
    - vagrant was moved to the official repos