A homalg based Package for the Abelian Category of Finitely Presented Modules over Computable Rings