Added Thomas's PrintDaggerAs option in DefSpinor
Documented new PrintDaggerAs option in Spinors.History.
Suppressed old DefSpinor code in Spinors.nb