Replace custom Mksession command by tweaked sessionoptions

* Tweaked sessionoptions no longer breaks NERDTree
  therefore custom Mksession is no longer relevant