tiny fix for travis (now failing for 2 out of 3 builds) + travis/coveralls badges  to README