Merge pull request #174 from YosysHQ/wasi-boost-1.76 libtrellis: update definitions for WASI build with boost 1.76