Add README for LocalSolver
ilogcp -> gecode
Fix status