pthread_mutex_timedlock: recognize its 0 return
add pitest_config.py to Makefile to generate header files

Build steps:
	1) $(topdir)/make
	2) $(topdir)/make functional-test