Well, any linux would do but thats what most people use. ffmpeg is a command line tool for converting between different media formats. You would have to do some extra steps to make 3gp conversion work with it.
Step by step instructions for ubuntu are given for it here