Added solution separator and status messages to solns2out
Added solution separator and status messages to solns2out

jjdekker/libminizinc,tias/libminizinc,jjdekker/libminizinc,nathanielbaxter/libminizinc,nathanielbaxter/libminizinc,jjdekker/libminizinc,nathanielbaxter/libminizinc,jjdekker/libminizinc,tias/libminizinc,nathanielbaxter/libminizinc