Add ability to change marked's default options via the config file