Number of threads used, can only grow after the first call to execute

Property definitions

pthreads $ ThreadPool :: nb_threads
	# Number of threads used, can only grow after the first call to `execute`
	var nb_threads = 5 is optional, writable
lib/pthreads/threadpool.nit:28,2--29,41