PBrain support, new user guide

• Added new support for PBrain extensions
• Added a detailed user guide to the Brainf*ck language
• IDE indentation guides rendering improved
• Minor fixes and improvements