Merge pull request #1380 from mirage/master

fixes for #1378
Switch to cached copies of OASIS, ounit + dependencies while the forge is down

Revert this when the forge is back!
Merge pull request #1381 from djs55/cache-of-oasis

Switch to cached copies of OASIS, ounit + dependencies while the forge i...