[det]pack_install(+Name,
+Options)true (default false), suppress informational progress
messages.true (default false), upgrade package if it
is already installed.true (default false unless URL
ends with =.git=), assume the URL is a GIT repository.
Non-interactive installation can be established using the option
interactive(false). It is adviced to install from a
particular
trusted URL instead of the plain pack name for unattented
operation.