Eclipse writer refactor write init semantics

this is based on #557 and causes writeInit() not to write the initial solution anymore (as agreed upon by Atgeirr).