Added silc_mp_format and silc_mp_unformat MP integer encoder/decoder