reverse copy constructor, use the Parser for creating copies instead
add 2 dimacs test instances
add changeStateOfVar with 1 argument (only index)
add function for checking neighbourhood for most improving neighbour

add BitVector class for easy flipping
add reset flippers function
modify checkNeighbour function

-> add index argument
Test