Include modification times in JS/CSS URLs to avoid unwanted caching
- Resolves VUFIND-1028.