Minor reorganization of documentation files

I put user documentation in a different directory than developer
documentation. This makes it possible for a user application to have the
same name as a python module.
Rename pond to enhydris_cache
Rename fordonia to aggregate
Rename bitia to spatialize
Rename gerarda to vaporize