Add specs in spack.yaml. Update names for pyaescrypt and formencode and specify them as dependencies for tvb-framework.