version bump; update history
Merge branch 'release-2013-02-14'
use static id/name for travis
Merge branch 'travis' into develop