Add version number to web page header

doc/html/header.txt

@@ -30,6 +30,8 @@ Linux clusters, high-performance computing, Livermore Computing">
 <div id="navigation">
 <a href="slurm.shtml"><img class="displayed" src="slurm_logo.png" width="130" usemap="#Map"></a>
 
+<div id="version">Version 2.5</div>
+
 <h2>About</h2>
 <ul>
 	  <li><a href="overview.shtml" class="nav">Overview</a></li>

doc/html/linuxstyles.css

@@ -161,6 +161,13 @@ IMG.displayed {
   padding: 0px 5px 0px 10px;
 }
 
+#version {
+  text-align: center;
+  font-size: 150%;
+  font-weight:bold;
+  color: #066cb2;
+}
+
 .figcaption {
   font-family: Arial, Verdana, Helvetica, sans-serif;
   text-align: left;