Recurrent Neural Network Controllers Synthesis with Stability Guarantees for Partially Observed Systems