fixed travis env, added coverage badge