Tiny Python library servering as a set of APIs for HIT Online Library