Remove `Setting the JVM heap size` section, since SBT is no longer used in `deepdive run`
Remove `Setting the JVM heap size` section, since SBT is no longer used in `deepdive run`

closedLoop/deepdive,HazyResearch/deepdive,vasyvas/deepdive,shahin/deepdive,wgapl/deepdive,Gela/deepdive,closedLoop/deepdive,wgapl/deepdive,RTsWorld/deepdive,closedLoop/deepdive,Gela/deepdive,Gela/deepdive,Gela/deepdive,zifeishan/deepdive,RTsWorld/deepdive,vasyvas/deepdive,closedLoop/deepdive,zifeishan/deepdive,RTsWorld/deepdive,RTsWorld/deepdive,vasyvas/deepdive,zifeishan/deepdive,closedLoop/deepdive,sky-xu/deepdive,sky-xu/deepdive,zifeishan/deepdive,Gela/deepdive,HazyResearch/deepdive,wgapl/deepdive,HazyResearch/deepdive,vasyvas/deepdive,HazyResearch/deepdive,wgapl/deepdive,zifeishan/deepdive,vasyvas/deepdive,wgapl/deepdive,RTsWorld/deepdive,shahin/deepdive