Removed trailing whitespaces.
Mention Z3 internal in the help output.
Enable Z3 internal for KITTeL.
Moved APRON/z3 ML configuration to a separate file.

Now the user does not need to modify the Makefile for this.  It also
prevents accidental commits of a modified Makefile from my side ;=)