0.5.13

Adds several smaller new APIs:

• NetworkSpaces::with_all_super_spaces, NetworkSpaces::with_all_sub_spaces, NetworkColoredSpaces::with_all_super_spaces, and NetworkColoredSpaces::with_all_sub_spaces for adding sub-spaces or super-spaces into a symbolic set easily.
• In addition to BooleanNetwork::inline_constants and BooleanNetwork::inline_inputs, we now have BooleanNetwork::is_var_constant, BooleanNetwork::is_var_input for checking a single variable, as well as BooleanNetwork::constants and BooleanNetwork::inputs for just getting the list of variables without altering them. This fortunately also simplified the logic around the original inlining methods quite a bit.