small corrections of test system

Adding some files in .gitignore
Checking CPU on MacOS
Improving help in alloy