Bugfixing
DONE:
•Using latch instead of wait to wait for acks
•Filtering for Event.MSG in VSLogicalClockProtocol.down()/up()
•Better test if message contains a header
•Some debug text
TODO:
•Some TODOs in source
•Stream methods for the lock header
•Sync of up() and down()
•Check synchronization
•Timestamp format (long or int)
•Testing