Corrected divider line in generated docstring
Refactored logic and miscellaneous changes

- Changed instances of "problem #n" to "problem n"
- Added green colour to successful file creation message
- Handle problems without problem texts/solutions in their respective
functions rather than at the CLI argument level
- Exit with sys.exit(1) in verify() rather than in main()