Allow users to specify Maven options