split contents of spthread.h between that file, spthread_mutex.h and spthread_proof.h