Changed how log files are delivered
Prepared for log files of task managers, changes needed in taskmanager.js and LogfileInfoServlet.java