Minor cleanup of the repo (#822)

* *: source files should not be executable

* *: make sure files have final newline

* *: remove BOM from text files

* translations: unify headers

* *: fix typos

* *: trim excess whitespace

doc/html/Removing Encryption.html

@@ -10,7 +10,7 @@
 </head>
 <body>
 
-<div>                      
+<div>
 <a href="https://www.veracrypt.fr/en/Home.html"><img src="VeraCrypt128x128.png" alt="VeraCrypt"/></a>
 </div>
 
@@ -27,7 +27,7 @@
 
 <div>
 <p>
-<a href="Documentation.html">Documentation</a>           
+<a href="Documentation.html">Documentation</a>
 <img src="arrow_right.gif" alt=">>" style="margin-top: 5px">
 <a href="Miscellaneous.html">Miscellaneous</a>
 <img src="arrow_right.gif" alt=">>" style="margin-top: 5px">
@@ -77,4 +77,4 @@ If you clicked <em>Add</em>, then in the &lsquo;<em>Add Drive Letter or Path</em
  instructions to create a new partition on the device. After the partition is created, it will no longer be required to mount the device with VeraCrypt to be able to save or load files to/from the device.
 </li></ol>
 </blockquote>
-</div><div class="ClearBoth"></div></body></html>
+</div><div class="ClearBoth"></div></body></html>