emacs: alloy-mode: indent using spaces rather than tabs