OK, this turned out to be not that hard, just completely unfamiliar for me (having last used Tomcat in 2002).

apt-get install tomcat7 tomcat7-admin; sudo $EDITOR /etc/tomcat7/tomcat-users.xml # add user with role manager-gui

Then I just went to http://localhost:8080/manager/ and uploaded the .war file. Et voilà.