feat: Update Readme with PhysilbAlpha#1170

jstoobysmith wants to merge 1 commit into

leanprover-community:masterleanprover-community/physlib:masterfrom

jstoobysmith:readme-updatejstoobysmith/JTSphyslib:readme-updateCopy head branch name to clipboard