Add Gitlab CI, fix documentation, fix initial theme setting