github/hub — pull request #748 by jingweno (2014-12-25 22:36:41+00:00)
Title: Improve package script

* Friendly OS name for packaged zips
* Options to skip test and toolchain building