Make popl and FindMathematica submodules. #6
Description
This issue was broken out from #4 . Using submodules for popl and FindMathematica ensures we get upstream bugfixes.
The README.md should be updated to reflect the new location of the licenses and how to update submodules.
- FindMathematica submodule
- popl submodule
- README.md modifications.