Fix #1067: Add a simple CrossProject mechanism
Merge pull request #1346 from gzm0/cross-build

Fix #1067: Add a simple CrossProject mechanism
Merge pull request #1352 from gzm0/sbt-fixes

sbt fixes
Fix #1059: Add a (basic) way to turn off source mapping