Always use static linking to libmockturtle
Mockturtle now publishes for static and dynamic libs. Without any change on WRTD side, libwrtd will link to the dynamic one, meaning that we always need to deploy the two libraries.
Instead, we should foce-link to the static mockturtle, like we were doing (implicitly) before.