RefDB reference manager and bibliography tool V. 0.9.5