add `make tspec` for straced spec runs
use execle() in servman.c