Attempt to fix the bullet numbering issue in GitHub pages.
The numbering is fine locally for some reason. [ci skip]
Fix compressed sound resourceref not being serialized.
For Travis CI - switch CI build to use OS X build environment.