Fix coveralls badge for prototype branch