hash bang is explicitly python3
converted nav_derivations to python3
fixed paths in README
derivation counts