Remove manual step

Frege is now available on maven central: http://search.maven.org/#browse%7C-1439677828