Idris support for Sublime Text 2

Hi! 

This adds Sublime Text 2 language files. It touches no existing files.