String Theory, Lakatos, and Laudan (draft)