Fold options into constants, load config from file

- Removed logic that allowed some options to be dynamically set; it was
  too complicated and not that useful, since none of the options are
  likely to change in the course of one execution.
- Configuration is now done entirely within the ``constants`` module,
  and some constants are loaded once, upon import, from a configuration
  file (if present).