add manual dependency resolution for RV-Monitor proprietary dependencies
update README with instructions for non-RV developers
incorporate @grosu's suggested wording changes
Merge pull request #178 from runtimeverification/privateRVMonitor

Add dependency management for private RV-Monitor