cosmetic updates

Fix bad link in docs; add coveralls badge