CORAL: A cosmic ray experiment in and above the LHC tunnel