A catkin wrapper for Google gflags