Tomcat Max Http Header Size

When there is a large PAC included in the SPNEGO token, tomcat fails with HTTP 400 unless the max header size is increased. This patch allows this setting to be applied in the application.properties:

```
server.tomcat.maxHttpHeaderSize=9999
```