Improve unsupported platform error message in installer#1069

tedinski merged 2 commits into

model-checking:mainmodel-checking/kani:mainfrom

tedinski:target-errortedinski/rmc:target-errorCopy head branch name to clipboard