Sage package to compute quaternionic Darmon points