collector and some test cases

features

• a collector to listen Sensor Events and record them
• some test cases
• a naive pdr frameworks, but without GUI

todos

• finish naive pdr (very soon)