Is K Lite Codec Pack Necessary

The worlds directory should include your database and level information for your Minecraft world, but this isn't generated until the world itself is generated. This is the most likely reason as to why your directory was empty. Regarding the seed value, you should be able to change the level-seed value in server.properties to change your seed. This may require regenerating the server to pick up the new seed, so you were on the right track there.