Use local resources instead of hosted master

This makes the workshop more stable. With the API still in flux, we need a
version of ol.js that is known to work with the workshop examples.