Minor bug fix in replace_conjunction
Minor change in comment
- Refactoring and rewritten of option-handling related predicates, placed in its
  own module, option_utils.pl.

- Moved module_files/2 to its own module.