add the darwin formula.
add spass formula.
bump hets revision to mavericks-save version

Also include darwin and spass as dependencies
of hets.