Build static x86_64 binaries in release builds

This sets our CI pipeline to build static x86_64 binaries as well as dynamic ones.

Issue: #57 (closed)

Based on !55 (merged)