refactored min dfa reachability, moved generic methods to common.h and renamed binary targets to mindfa and rlempty
added stack and refactored queue to be symmetric to stack except push pop semantics