Revert "Switch to cached copies of OASIS, ounit + dependencies while the forge is down"

This reverts commit c96fa466fd3298b2c507e4cfbf3253a2d0d6a1d3.
Merge pull request #1387 from mirage/master

Revert "Switch to cached copies of OASIS, ounit + dependencies while the...