2 pound fresh green beans, trimmed 1 tablespoon olive oil 1 tablespoon butter 1 small red onion, thinly sliced