Use external SOCRATES repository

[nichollsh]

JANUS is no longer packaging SOCRATES, and instead assumes that the user has installed it elsewhere already. We could do the same thing for AGNI for consistency, making SOCRATES a "dependency" of the code rather than an integrated part of it.

This will also make testing and building things much easier.