G2-Manifolds and M-Theory Compactifications