Version 2.1.2

Improvements:

• add method Server_exception::error_ptr();
• add methods of the class Problem: query_position_num(), internal_query_position_num(), source_line_num();
• fix the bug of the class Connection.