OpenSSL integration

[CousinoMath]

• ./.gitignore: Ignored VS Code workspaces
• ./CMakeLists.txt: Defaulted builds to OpenSSL. Build in a way to revert back to Evercrypt/HACL*
• ./apps/blockchain/AddAppraiser.sml: Adds an appraiser to be able to write health records
• ./apps/blockchain/RemoveAppraiser.sml: Removes an appraiser to be able to write health records
• ./apps/blockchain/AddUser.sml: Changed to ini file
• ./apps/blockchain/Blockchain.sml: Removed dead & commented code
• ./apps/blockchain/CMakeLists.txt: Added health record utilities
• ./apps/blockchain/Clear.sml: Clears health records for an appraiser and a target
• ./apps/blockchain/Print.sml: Prints health records for an appraiser and a target
• ./apps/blockchain/Client.sml: Converted to use ini files
• ./apps/blockchain/HealthRecord.sml: Added connections to heatlh records, removed dead code, added print & clear utilities
• ./apps/blockchain/README.md: Added links to useful resources
• ./apps/blockchain/RemoveUser.sml: Converted to use ini files
• ./apps/blockchain/Server.sml: Converted to use ini files
• ./apps/blockchain/SetHash.sml: Converted to use ini files
• ./apps/blockchain/config.ini: Single ini file for blockchain
• ./apps/blockchain/test.sh: Modified to use ini files
• ./apps/serverClient/ClientTest.sml: Removed extra space from end of line
• ./apps/serverClient/example_client.ini: Using RSA keys
• ./apps/serverClient/example_server.ini: Using RSA keys
• ./apps/tests/Main.sml: Cleaned up, converted to use OpenSSL
• ./system/crypto/. moved to ./system/crypto/evercrypt/
• ./system/crypto/openssl/. created
• ./system/posix/meas/meas_ffi.c: Externalized sha512 call
• ./util/Misc.sml: Removed spaces from the end of lines