TotalView Server Launch Options and Commands