Merge branch 'CI_fix' of https://github.com/efabless/caravel_user_project into CI_fix