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