#5 Ability to choose file encoding

As a command line option, the user should be able to
specify what encoding the MiniDoc file is. The same
encoding should be used for the output.