Hi, I'm trying to install MediKanren on a linux box, are there instructions i could follow to install this software? Thanks, Rohan