Replace docopt with getopt_long

Docopt can't handle multiple passing of a parameter, which is necessary
for IntenseLogic to support plugins in a less-than-awkward way