some dotfiles hosted on github for convienience of deployment