Design Manifest and AM Library support for external ASP config

[ampetz]

Current AM compiles all ASPs into the base executable. Make the AM library more general than the CakeML glob that it is now.

• [x] Add field to manifest for external ASPs (Went away from this)
• [x] Add field to AM Library for external ASP pointers