Appending TCL_CREATE
It would be a very nice feature if one could define in Manifest.py additional parameters to be appended to TCL_CREATE in generated Makefile. E.g. for LiberoSoC I would like to add -adv_options {RESTRICTPROBEPINS:0}
parameter when project is created.