Parallel version of fixed and variable base MSM

[nikkolasg]

This implementation makes heavy usage of parallelization and thus a parallel implementation of those two algorithms would drastically improve the verification speed, as it is done on the original bellperson implementation.