Quest Simulation & Verification Tool for SDL/QSDL (PhD Thesis) - Init (Main Makefile + Shell Init Script)