numini: add --boost-dir opt