Updated sourceforge/newrelease
synced the version number to 9.0.0
Repaired A4 overfull boxes
Final tidbits before completion of 9.0.0
Ready for 9.0.0
Completed the concrete/promotions section
rewrote section about static const data and wip on binops wrt promotions
Processed comments by Francesco Poli
rmindexlines was located at the wrong place
Updated the changelog