Adding the line 'raco link -n COAST ~/CRESTaceans/' to the makefile so that users can add the infrastructure files by typing (require COAST)