python/setup.py: add command 'generate' with option '--enable-double'