Update DeclKind in z3-sys for new values#337

twizmwazin wants to merge 4 commits intoprove-rs:masterprove-rs/z3.rs:masterfrom

twizmwazin:update-declkindtwizmwazin/z3.rs:update-declkindCopy head branch name to clipboard