platin: change tool-config for new patmos-llc options, improve handling of incomplete config files