Refactoring of configuration.

Configuration is initialized as a Spring bean. It is loaded from path
$HOME/.intlib/config.properties, which can be optionally changed by parameter
in backend. Frontend must obey this path, where $HOME refers to the home
of the user running Apache Tomcat.