Fix python bindings
seed types: maximum number of integers is store in the seed type
random: seeds now contains the maximum number of the PRNG + fixes

* clean up files
* separate header for MP integers declarations
Instal integer_mp.h