1.13.7

• make Subversion history parsing more robust
  • the change will also detect Executor parsing problems for other repository types
• bump Tomcat to 10.1.19 in Docker
• align path quoting in logs