tor: update to 0.3.1.8 (#1717)
[termux-packages] / packages / ninja / configure.py.patch
2017-09-17 Joakimninja: add package