Updating build server configurations
Merge pull request #295 from jeffwilcox/dev

Updating build server configurations