A module-based simulation framework to facilitate the modeling of Quantum Key Distribution system post-processing functionalities. (January 2019)