Simplification of General Mixed Boolean-Arithmetic Expressions: GAMBA - View it on GitHub