Move building of libsnark14.so to top level Makefile.