Optimizing Demonstrated Robot Manipulation Skills for Temporal Logic Constraints