cosmetics
Merge branch 'develop' of github.com:OpenEducationFoundation/OpenBoard into develop
terminal alert by default
Added the possibility to force an architecture.