Update servlet configuration to Spring

See #122 for background discussion. This pull request is not ready to be merged yet, this pull request is opened at this point to see if the integration tests work on Travis.