sail/lib/coverage/Makefile, branch sail2

sail/lib/coverage/Makefile, branch sail2 Formal specification language for ISAs Add coverage tracking tool 2020-05-15T09:54:59+00:00 Alasdair 2020-05-15T09:54:59+00:00 ffaa84fe0a79a013da2169bcca76a23d4213d526 See sailcov/README.md for a short description Fix many location info bugs discovered by eyeballing output

See sailcov/README.md for a short description

Fix many location info bugs discovered by eyeballing output