Squashed commit of branch 'dev':

the table now groups messages by proposals;
messages loss problem fixed;
added archive-cache and archive-table accordance tests.
Update README.md
added reassessTheProposal on-proposal behavior;
added Conflict notification messages to the default language;
fixed DomainIterator.overSeq;
PriorityBased.askConflictResolver should throw exception on timeout;
arrows direction in the visualization fixed;
added ProposalEngine.LearningFromMistakes that provides mechanism for guarding failed value configurations;
added ProposalEngine.IteratingAllDomainsLearningFromMistakes that implements filtering of failed configurations;
added currentProposalUnconditionallyAccepted to ProposalNegotiationState;
the unconditionally accepted proposals (the top-priority ones) are guarded as mistaken after being successfully reassessed by a newly higher-priority agents' rejection;
 the currentProposalUnconditionallyAccepted is not reset on `updateProposal` if the current negotiation values haven't changed;
added DomainIterator.Random, used it for default agent implementation (NegotiationControllerBuilder);
added NegotiationSuccessWatcher
todo: acceptance visualisation, watcher fix;
added negotiation finished notification;
added current values acceptance based queen highlight;
AutoRestart Controller added;
implemented cleaning on start for agents and ReportsArchive;
todo: Restart in web-frontend;
negotiation finished message;
frontend reloads on negotiation restart;
 reset domain iterator when a new top-priority agent arises;
 KnowledgeSharing added, but not connected, due to failures caused;
some cleanup;
implemented spawn, timings and timeouts config for specifications;
minor css fix for gh-pages;
Merge branch 'master' into dev