Added check for more recent version to alert user if an update is available. Modified the reasoner selection to simplify addition of model and reasoner choices.