Add option for const qualifiers

Author: eliemichel

index.html

@@ -90,6 +90,11 @@ <h2 class="content-subhead">Generator</h2>
 						<input type="checkbox" id="use_non_member_procedures" name="use_non_member_procedures" />
 						use_non_member_procedures
 					</label>
+
+					<label class="pure-checkbox" for="no_const">
+						<input type="checkbox" id="no_const" name="no_const" />
+						no_const
+					</label>
 				</fieldset>
 			</div>