Updated Learner specs
Slight update to specs and removed old specs
Updated spec descriptions and removed MultiPaxos
Removed NodeFactory
Don't return accepted_value in Learner