String Theory Software