Fix get_target_dir and build.py to make packaging work properly with new prusti_contracts dir
#7312
| Job | Run time |
|---|---|
| 22s | |
| 2m 2s | |
| 2m 4s | |
| 2m 3s | |
| 5s | |
| 1s | |
| 1s | |
| 1s | |
| 1s | |
| 1s | |
| 2s | |
| 6m 43s |