remove circle.yml in favour of web-based config, in order to keep coveralls repo_token out of git.