math/z3: Add compiler:c++11-lang to USES.
PR: 231604 Submitted by: Piotr Kubaj <pkubaj@anongoth.pl> Approved by: tcberner (mentor)