Move the boost formula to triqs/formulas

The doc is updated.