Remove tabs for two spaces
Change double quotes to single
Change mizar keyword definition to one string

This is mostly for consistency reasons, but it there is also compression
hinting. With this change uglify can simple turn it into one long string.
Remove execute file permissions
Change file format of oxygene to unix
Remove trailing whitespace
Merge branch 'fix/language-formatting'