[FIX] generate new docbook master anyway
[MOD] cleanups: moved CHOP option to .basex
[FIX] connect linkends that refer to anchor-redirection
[ADD] open-by-name to open some db