Enabled downcase-region
Setup path to idris interpreter
Merge branch 'master' of https://github.com/jirkamarsik/sonic-screwdriver into dark