add coveralls badge, repair operators.py