more work toward GL1.3 compatibility
some optimisations in Push/Pop Attributes
Many misc fixes and a few enhancements