Minor: reduced dependencies from pf_q-bounded-queue header.
In pfq_setsockopt, added check to bind/unbind device.
IO monad: mark split from state. Added set_mark and get_mark functions.