Repacking the Core of T4 Lysozyme by Automated Design