test/lock_fsm: do not match result of start/1 and stop/0
Merge pull request #13 from tuncer/lock_fsm

test/lock_fsm: do not match result of start/1 and stop/0
Fix pos_integer/0 and non_neg_integer/0

Also add test properties for pos_integer/0 and non_neg_integer/0.