Merge #340: docs: update readme

4ca013d docs: update readme (Byron Hambly)

Pull request description:

  re: #338 
  
  Updated with inspiration from rust-simplicity to link to the simplicity website and rust-simplicity/simplicityhl repos


ACKs for top commit:
  apoelstra:
    ACK 4ca013d; successfully ran local tests


Tree-SHA512: 9707cf4f1713450778359c67a3ac59bdc3604c54ef21492863fb3bcc1cda6662bcb0c88ea61bcfaf6783ddb2a20016f2f83541e3d77d5aeef43f8d8e5aaaf4c7

Author: apoelstra

C/Makefile

@@ -1,4 +1,6 @@
-OBJS := bitstream.o dag.o deserialize.o eval.o frame.o jets.o jets-secp256k1.o rsort.o sha256.o type.o typeInference.o elements/env.o elements/exec.o elements/ops.o elements/elementsJets.o elements/primitive.o elements/cmr.o elements/txEnv.o
+CORE_OBJS := bitstream.o dag.o deserialize.o eval.o frame.o jets.o jets-secp256k1.o rsort.o sha256.o type.o typeInference.o
+BITCOIN_OBJS := bitcoin/env.o bitcoin/ops.o bitcoin/bitcoinJets.o bitcoin/primitive.o bitcoin/txEnv.o
+ELEMENTS_OBJS := elements/env.o elements/exec.o elements/ops.o elements/elementsJets.o elements/primitive.o elements/cmr.o elements/txEnv.o
 TEST_OBJS := test.o ctx8Pruned.o ctx8Unpruned.o hashBlock.o regression4.o schnorr0.o schnorr6.o typeSkipTest.o elements/checkSigHashAllTx1.o
 
 # From https://fastcompression.blogspot.com/2019/01/compiler-warnings.html
@@ -23,13 +25,16 @@ sha256.o: sha256.c
 %.o: %.c
 	$(CC) -c $(CFLAGS) $(CWARN) $(CPPFLAGS) -o $@ $<
 
-libElementsSimplicity.a: $(OBJS)
+libBitcoinSimplicity.a: $(CORE_OBJS) $(BITCOIN_OBJS)
+	ar rcs $@ $^
+
+libElementsSimplicity.a: $(CORE_OBJS) $(ELEMENTS_OBJS)
 	ar rcs $@ $^
 
 test: $(TEST_OBJS) libElementsSimplicity.a
 	$(CC) $^ -o $@ $(LDFLAGS)
 
-install: libElementsSimplicity.a
+install: libBitcoinSimplicity.a libElementsSimplicity.a
 	mkdir -p $(out)/lib
 	cp $^ $(out)/lib/
 	cp -R include $(out)/include