changed way xml crafting pages are defined, updated pda gui a bit to encoperate longer names, and started adding more proper theorems to the welcome (getting started) thesis, soon will be finished and content will be added in ernest