platin: added tool-configurations section to PML, support custom tool options, fixed some pasim cache related option values