General Ciao documentation

This bundle contains the set of manuals that constitute the basic documentation for the Ciao language, implementation, and tools, as well as a number of selected bundles.