Overview
Install tomcat7 (or 8) as normal for your environment.
Edit Tomcat configuration file
For the IHTSDO production environment this is /etc/default/tomcat7 (for your enviornment it may be /etc/tomcat7/tomcat7.conf). The key is to set JAVA_OPTS to include large enough memory and a "refset.config" that points to the location of your config.properties file. For example:
JAVA_OPTS="-Djava.awt.headless=true -Xmx3000m -XX:+UseConcMarkSweepGC -Drefset.config=/var/lib/tomcat7/conf/config.properties"