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.
Merge pull request #739 from voxik/rename-extension_install_dir

Rename #extension_install_dir to #extension_dir.