Kernel Interface Update

[Latrasis]

Following #118, we need to update theIKerneland Kernel contract interface in Kernel.sol to follow the spec in #113. This includes:

• In IKernel:
  • [x] Update Error Codes
  • [x] Removing CAP_PROC_CAP_{PUSH,DELETE}
  • [x] Replace #entryProcedure with #getEntryProcedure
  • [x] Replace #kernelAddress with #getKernelAddress
  • [x] Replace #currentProcedure with #getCurrentProcedure
• In Kernel:
  • [x] Update #setEntryProcedure
  • [x] Include #setKernelAddress and #setCurrentProcedure

[JakeOShannessy]

Minor adjustment, we can't setKernelAddress as it is fixed.

[JakeOShannessy]

The kernelAddress functions will depend on the correct constructor, to be implemented as defined in #130.

[Latrasis]

Closing with #129, we can address #130 separately.