Added OpenLayers.devtrac.js, a slimmed down library for use with the Devtrac application.