Use default download URL if no argument is provided
Read and display HTTP last-modified date of download URL
Create download_jenkins_war function to download war file if not already cached locally

The function is incomplete, but a working prototype of the first steps