Bump version to 1.0.0.0 in monad-control.nix