Use installed RandomLib instead of including it in the source
Include installation instructions for RandomLib