sphinx doc: rename occurrences of pyranha -> piranha, as the idea is now to use
sphinx as main doc. The Pyranha-specific parts should probably go into subsections.