Renaming org.dcevm -> com.github.dcevm

Well, dcevm.org domain is lost, so let's use com.github.dcevm for now.