math/py-z3-solver: Rename to math/py-z3 to have a more intuitive name

Reported by:	arrowd

MOVED

@@ -10357,3 +10357,4 @@ lang/spec.alpha||2018-07-21|Unused in the ports tree
 sysutils/xen-tools|sysutils/xen-tools47|2018-07-23|Renamed to support multiple versions
 emulators/xen-kernel|emulators/xen-kernel47|2018-07-23|Renamed to support multiple versions
 emulators/xen||2018-07-23|Removed to support multiple versions
+math/py-z3-solver|math/py-z3|2018-07-25|Rename to have a more intuitive name

math/Makefile

@@ -736,7 +736,7 @@
     SUBDIR += py-uncertainties
     SUBDIR += py-viper
     SUBDIR += py-yt
-    SUBDIR += py-z3-solver
+    SUBDIR += py-z3
     SUBDIR += qalculate
     SUBDIR += qd
     SUBDIR += qhull

math/py-z3/Makefile

@@ -1,7 +1,7 @@
 # $FreeBSD$
 
-PORTNAME=	z3-solver
-DISTVERSIONPREFIX=	z3-
+PORTNAME=	z3
+DISTVERSIONPREFIX=	${PORTNAME}-
 DISTVERSION=	4.7.1
 CATEGORIES=	math
 PKGNAMEPREFIX=	${PYTHON_PKGNAMEPREFIX}