Modify program structure to define array of strings usable in SPARK

* Remove the global SPARK_Mode(On) by default. It is easier to define
  each package in SPARK for integration with legacy Ada packages.
Update architecture with Bounded_String_Instance and Dice_Passphrase modules
Create three minimal arrays of words
Setup the package layout of the program