A high-stability semiconductor laser system for a 88Sr-based optical lattice clock