Remove compiled code from repository

Final binaries are no longer tracked by git, since they are not meant to
be portable.