Update badges for new repo RUL