Gravar-mail: KnotProt: a database of proteins with knots and slipknots