add bimodules.lib to doc