Rename configure to configure.py
Use ninja -v in travis, also emit gcc version