adding a copyright to EHR.bsv and moving some more files from infra to lib