Configuration option to use a minified aloha

This depends on Aloha-Editor#113.