Documentation, examples, spkg for SageManifolds