wxmaxima: 17.10.1 -> 18.02.0
wxmaxima: 17.10.1 -> 18.02.0

Semi-automatic update. These checks were performed:

- built on NixOS
- found 18.02.0 with grep in /nix/store/q3pav5f98v0imlk0bsr295k8xf2w8njr-wxmaxima-18.02.0
- found 18.02.0 in filename of file in /nix/store/q3pav5f98v0imlk0bsr295k8xf2w8njr-wxmaxima-18.02.0

cc "@peti"

NixOS/nixpkgs,SymbiFlow/nixpkgs,SymbiFlow/nixpkgs,SymbiFlow/nixpkgs,NixOS/nixpkgs,NixOS/nixpkgs,NixOS/nixpkgs,NixOS/nixpkgs,SymbiFlow/nixpkgs,SymbiFlow/nixpkgs,NixOS/nixpkgs,NixOS/nixpkgs,SymbiFlow/nixpkgs,SymbiFlow/nixpkgs,SymbiFlow/nixpkgs,SymbiFlow/nixpkgs,NixOS/nixpkgs,NixOS/nixpkgs,SymbiFlow/nixpkgs,SymbiFlow/nixpkgs,NixOS/nixpkgs,NixOS/nixpkgs,SymbiFlow/nixpkgs,NixOS/nixpkgs,SymbiFlow/nixpkgs,NixOS/nixpkgs,NixOS/nixpkgs,NixOS/nixpkgs