Primality prover

This file provides a norm_num extension to prove that natural numbers are prime.

Porting note: the sole purpose of this file is to mark it as "ported". This file seems to be tripping up the porting dashboard.