Rename #extension_install_dir to #extension_dir.

The name is shorter and easier to type. It is the analogy to #gem_dir,
which does not contain the "install" word as well.

I hope it is not too late for such PR.