Merge pull request #174 from YosysHQ/wasi-boost-1.76

libtrellis: update definitions for WASI build with boost 1.76