Merge pull request #144 from antmicro/libtrellis-osx

libtrellis: customize linking libraries for macOS