Stop ruining indentation: add a modeline

We really should use these everywhere...