Implement static language switcher

Same css style
Use static-gen.php?lang=lang to generate the static html file from
language
It still use definitions.json and cookie for future site visits
I think (and hope) it works fine now