HRE tweaks

(867 start) Fixed the HRE Decentralization law potentially not properly
showing up for a French HRE
(867 start) Holding Lotharingia is no longer necessary to form the
German HRE; completely controlling its dejure territory instead is
enough
(867 start) Ensured that it is impossible for both the German and French
HRE to form