GitLab

* upgrade status badge from Travis CI to CircleCI

* remove CircleCI status badge
Co-authored-by: Francisco Massa <fvsmassa@gmail.com>