Unix: Using pushd and popd for faster navigation