Removed exclamation marks from build file to support sbt 0.13.0
Include TraceCheck proofs, make TraceCheckParser able to hande non left-associative proofs, include TraceCheck into CLI
Fix sbt 0.13.0 exclamation mark issue
Make nodeInfo objects immutable
Implement Generic Pebbler, climbOnce method for AbstractPebbler and new Pebble Orders: Distance, WasPebbled, InSubProof, abstract DecayOrder and ChildrenDecayOrder

Generic Pebbler gets a list of strings, which represent an ordering which decides ties according to the entered orderings

climbOnce methods is the first step torwards using search heuristics for pebblers

Distance order calculates spheres around nodes and checks if a node in the sphere is pebbled

InSubProof order counts in how many subproofs one node occurs

DecayOrders not only use a calculated measure from the node of question, but also from its premises. There are parameters for decay factor, maximum depth and function how the measures from the premise are combined

ChildrenDecayOrder is a decay order that measure the (negative) amount of children of a node
Implement lastChildOf and distance decay orders and the possibility to change the used order after pebbling the first node
Run experiments on decay pebblers
Add BottomUp heuristic to use InSubProof Order for the first node and UsesPebbles Order for the other nodes
Implement UsesPebbles decay Order
Implement SAT encoding of pebbling
Implement a different SAT encoding of Pebbling
Implement HardSubFirstPebbler and some minor changes
Add some algorithms to package object
Disable preprocessing for Pebblers
Do some changes how initial nodes are handeled
Make BottomUp Pebblers not rely on exisitng node infos
Remove bug
Make PebbleOrders not rely on existing nodeInfos
Change datastructures used in proof parser and BottomUp Pebbler
Forgot to un-comment a line