Migrate to SBT, add sols