[autoparallel] adapt solver with resnet

[YuliangLiu0306]

##What is new?
This PR change the following things:

1. The old version liveness analyser add the parameters and buffers into the memory cost, but it does not has enough information about the sharding strategy. Therefore, we only provide the liveness cycle of nodes, and leave the memory cost computation work to the op handler or strategy constructor.
2. implement the solver class with the pulp module. Now, it could find dp strategy for resnet with sufficient memory budget and mixed strategy if the memory budget is not enough for the dp strategy.
3. Add BatchNorm handler to search the strategy for resent.
4. add the weight and bias memory cost into total memory cost for all handlers.