Add short options
Add short options

flurischt/jedi,jonashaag/jedi,dwillmer/jedi,tjwei/jedi,tjwei/jedi,mfussenegger/jedi,flurischt/jedi,dwillmer/jedi,WoLpH/jedi,WoLpH/jedi,mfussenegger/jedi,jonashaag/jedi