docs/install: use pip/pip3 more consistently.
-rw-r--r-- 143 .coveragerc
drwxr-xr-x - .github
-rw-r--r-- 156 .gitignore
-rw-r--r-- 962 .travis.yml
-rw-r--r-- 1651 LICENSE.txt
-rw-r--r-- 5652 README.md
drwxr-xr-x - docs
drwxr-xr-x - examples
drwxr-xr-x - nmigen
-rw-r--r-- 1565 setup.py