boost-python: trim some fat
boost: put user-paths back

I thought this was a bad Python hack but git blame told me that it helps
build MPI, from 937d81bdd23d6df29e337.
boost-python: add test