Updated some badges and added coveralls and simplecov (so that the integration is in place).