Fix ssh setup for tmux
Added helper function for CA-tickets
Update tmux setup (constantly-contiguous numbering)
Move back to (normal) emacs bash editing-mode
Fix opam config
Brighter tmux active window