Configuration option to use a minified aloha

This depends on https://github.com/oerpub/Aloha-Editor/pull/113