add alternative shortcuts for ctrl+del, ctrl+(shift)+home/end and ctrl+tab
Merge branch 'master' of github.com:philippotto/shortcut-collection