Merge branch 'develop'

Merge branch 'develop'

Merge branch 'develop'

hotfix for personal binja licenses

Merge branch 'hotfix-0.8.1'

Merge branch 'develop'

hotfix for new drcov log formats, closes gaasedelen#36

hotfix for MacOS hangs (and crashes) on close gaasedelen#31

Merge branch 'develop'

hotfix for IDA 7 users running with AUTOIMPORT_COMPAT_IDA695 = NO