MDBF-143: infer restructure

Mostly Razvan's idea. Thanks Faustin too.

Started space limit at 75.

Added infer configuration options in server base.

Simpilified incremental analysis to last build on the main
branch we have.

Document some function pre/post conditions.

Author: grooverdan