Resource Estimators

Add more accurate resource estimators, using more clever techniques.

For now, the characterization + macro based technique is enough for our experiments, but we could:

• enhance the way we extrapolate the estimation (using multivariate polynomial ?)
• use AI based techniques for estimation