Better interaction with poolalloc.
* Runtime flag -use-dsa now only allowed when configured with --enable-dsa.
* Linking poolalloc libraries into smack; no need for extra -load's with opt.
* Compile-time errors with --enable-dsa when cannot find poolalloc code.