python: rename aux.py to aux_.py

Fixes #437, reporeted by Yann Thierry-Mieg.

* python/spot/aux.py: Rename as...
* python/spot/aux_.py: ... this.
* python/spot/__init__.py, python/Makefile.am: Adjust.
* NEWS: Mention the change.

python/Makefile.am

@@ -30,7 +30,7 @@ SWIGFLAGS = -c++ -python -py3 -O -MD
 EXTRA_DIST = buddy.i spot/impl.i spot/ltsmin.i spot/gen.i
 nobase_pyexec_PYTHON = \
   spot/__init__.py \
-  spot/aux.py \
+  spot/aux_.py \
   spot/impl.py \
   spot/ltsmin.py \
   spot/gen.py \

python/spot/__init__.py

@@ -47,6 +47,12 @@ for path in sys.path:
 
 
 from spot.impl import *
+# spot.aux_ used to be called spot.aux until the filename aux.py
+# caused issues on Windows.  So the file is now named aux_.py, but we
+# still want to import it as spot.aux, hence we add it to spot.modules
+# as an alias.
+import spot.aux_ as aux
+sys.modules['spot.aux'] = aux
 from spot.aux import \
      extend as _extend, \
      str_to_svg as _str_to_svg, \

python/spot/aux_.py

@@ -1,6 +1,6 @@
 # -*- coding: utf-8 -*-
-# Copyright (C) 2016, 2019 Laboratoire de Recherche et Développement de l'Epita
-# (LRDE).
+# Copyright (C) 2016, 2019-2020 Laboratoire de Recherche et
+# Développement de l'Epita (LRDE).
 #
 # This file is part of Spot, a model checking library.
 #
@@ -17,6 +17,9 @@
 # You should have received a copy of the GNU General Public License
 # along with this program.  If not, see <http://www.gnu.org/licenses/>.
 
+# This file is named "aux_.py" for compatibility with Windows'
+# historical limitations, but should really be imported as "spot.aux".
+
 """
 Auxiliary functions for Spot's Python bindings
 """