updated example files
installed PoincarePolynomial

(needs GradedModules v2012.10.26)
fixed IsEmpty (for affine and projective schemes)
known dim >= 0 suppresses printing "non-empty scheme"
installed IsSmooth for schemes