Inline badges. Replace travis with gitlab-ci