add coveralls badge; update other badges to svg