Merge some functionality from largebruteforcesolver: Extend runtime debuggin support. Time solving process. Add application launcher.