platin: allow to disable internal wcet analysis
forgot to add new header file