Update darmonpoints.sage

Turned off using SageDB by default