Extensions installer should set current date+time on extracted files

[Nicklas Nordborg]

The current implementation set the file date to the last modified date found in the JAR file. The problem is that this approach may cause Tomcat to not detect file changes since the compiled class in the work-directory may have a newer date (for example, due to a server restart).

The workaround is to always restart Tomcat after updating an extension.