Docker build with images#517

magostinelli wants to merge 2 commits intoredlib-org:mainredlib-org/redlib:mainfrom

magostinelli:match-ff-ciphersmagostinelli/redlib:match-ff-ciphersCopy head branch name to clipboard