Extra tools for debugging CI crashes#6793

cmelchior wants to merge 8 commits intomainrealm/realm-java:mainfrom

cm/core-alpha.3realm/realm-java:cm/core-alpha.3Copy head branch name to clipboard