taslaunch: pass +sv_taslog 1 to runhl.sh