Some minor changes to .gitignore and tmux.sh