v1.1.0

LTLMiner with very basic config file support.

Config file settings:
logPath - path to log in Java format
queries - very basic queries like "[](%28?x%29 -> <>%28?y%29)", "<>(?x)"
minSupport - double value from 0 to 1
considerEventTypes - boolean
outputFormat - text or console. Text will save the output into a file, console will print it out.
outputPath - path to output. Only needed if outputFormat is "text".

Not supported features: predefined replacements for query parameters. No ability to check only some of the activities present in the log.