Added a useful script to keep ssh proxy commands alive
Removed the customization of comphist because I never use this feature