Updated Linux makefile: use address sanitizer and wxWidgets-3.1 by default.